Theoremproving system

[计] 定理证明系统

🧩 词语组成解析

theoremproving
[计] 定理证明
system ['sɪstəm]
n. 体系，系统;制度;身体;方法;
sy(syn-=together)+ste(to stand)→系统；体系；秩序；制度；方法

🗣️ 情景例句

Something's wrong.
有点不对劲。
It is better to do well than to say well.
理论好不如实际好。
Ironically, Europe, which had bequeathed the rabbit as a pest to Australia,
具有讽刺意味的是，欧洲把这种兔子作为有害动物传给澳洲，
更多情景英语 ›

🔤 更多 T 开头的单词

tacciometer
tax-loss
terminal edema
thirdhand
thread-needle
toing and froing
toyland
triandrous
全部 T 开头单词 ›